On the Erdos-stone Theorem
نویسنده
چکیده
for all n large enough with respect to c and d. In a sense, this result is best possible: as shown by Bollobas and Erdos [1], our constant 1/500 cannot be increased beyond 5. Our argument hinges on a theorem asserting that every sufficiently large graph can be partitioned into a small number of classes in such a way that the partition exhibits strong regularity properties. To state the theorem in more precise terms, we need a few definitions. When A and B are nonempty disjoint sets of vertices in some graph then we denote by d{A, B) the density of edges between A and B: this is the number of edges with one endpoint in A and the other endpoint in B divided by \A\-\B\. The pair (A,B) is called E-regular if X £ A, \X\ ^ E\A\, Y <= B and |V| ^ E\B\ imply that \d(X, Y) — d(A,B)\ < E; otherwise the pair is E-irregular. A partition of a set V into classes CO,CX, ...,Ck is called E-regular if |C0| ^ F\V\, |C,| = \Cj\ whenever 1 ^ / < j ^ k and if at most F.k of the pairs (ChCj) with 1 ^ / < j ^ k are <;-irregular. The Regular Partition Theorem, proved in [5], asserts that for every positive E and for every positive integer m there are positive integers M and N with the following property: if the set V of vertices of a graph has size at least N then there is an ^--regular partition of V into k+ 1 classes such that m ^ k ^ M.
منابع مشابه
Intersection Properties of Subsets of Integers
Intersection properties of sets have been widely investigated by many authors. One type of theorems proved for them has the following form [9]. Let S be an n-element set and AI. ... , AN £ S, 1 £ [1, n]. Assume that IAi I1Ajl E 1 for 1,,;;;; i <j ,,;;;;N. How large can N be under this condition, depending on n and I? Thus, e.g., the de Bruijn-Erdos theorem [1] asserts that if IAi I1Ajl = 1 for ...
متن کاملEmbedding normed linear spaces into $C(X)$
It is well known that every (real or complex) normed linear space $L$ is isometrically embeddable into $C(X)$ for some compact Hausdorff space $X$. Here $X$ is the closed unit ball of $L^*$ (the set of all continuous scalar-valued linear mappings on $L$) endowed with the weak$^*$ topology, which is compact by the Banach--Alaoglu theorem. We prove that the compact Hausdorff space $X$ can ...
متن کاملA Disproof of a Conjecture of Erdos in Ramsey Theory
Denote by kt(G) the number of complete subgraphs of order f in the graph G. Let where G denotes the complement of G and \G\ the number of vertices. A well-known conjecture of Erdos, related to Ramsey's theorem, is that Mmn^K ct(ri) = 2 ~*. This latter number is the proportion of monochromatic Kt's in a random colouring of Kn. We present counterexamples to this conjecture and discuss properties ...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کامل